Monitoring Information Flow
نویسندگان
چکیده
We present an information flow monitoring mechanism for sequential programs. The monitor executes a program on standard data that are tagged with labels indicating their security level. We formalize the monitoring mechanism as a big-step operational semantics that integrates a static information flow analysis to gather information flow properties of non-executed branches of the program. Using the information flow monitoring mechanism, it is then possible to partition the set of all executions in two sets. The first one contains executions which are safe and the other one contains executions which may be unsafe. Based on this information, we show that, by resetting the value of some output variables, it is possible to alter the behavior of executions belonging to the second set in order to ensure the confidentiality of secret data.
منابع مشابه
The Role of RFID to Improve Materials Flow in Mega-projects Site
In according to quantity of various consumption materials in construction sites of complex projects such as oil industry, infrastructure, and large scale commercial, management and monitoring of materials can affect on the final time and cost of project’s activities. In today’s world of rising labor costs and labor shortages, automated materials tracking can provide some advantage to impr...
متن کاملThe Role of RFID to Improve Materials Flow in Mega-projects Site
In according to quantity of various consumption materials in construction sites of complex projects such as oil industry, infrastructure, and large scale commercial, management and monitoring of materials can affect on the final time and cost of project’s activities. In today’s world of rising labor costs and labor shortages, automated materials tracking can provide some advantage to impr...
متن کاملDesign and Evaluation of a Pressure and Temperature Monitoring System for Pressure Ulcer Prevention
Introduction Pressure ulcers are tissue damages resulting from blood flow restriction, which occurs when the tissue is exposed to high pressure for a long period of time. These painful sores are common in patients and elderly, who spend extended periods of time in bed or wheelchair. In this study, a continuous pressure and temperature monitoring system was developed for pressure ulcer preventio...
متن کاملResearch of Dynamic Information Flow Monitoring Based on Finite State Automaton
Because the current information-processing system security analysis of the dynamic monitoring is not mature enough, this paper will make use of finite state automata techniques to improve dynamic information flow monitoring methods, and design its monitors. This method is the use of finite state automata theory, information flow from the dynamic monitoring of proceeding through a secure stack t...
متن کاملA Web-Based Real-Time Traffic Monitoring Scheme Using CORBA
This paper presents a CORBA-based traffic monitoring scheme for monitoring real-time traffic flows. This scheme enables a Web-based network manager application to locate relevant traffic monitors along the path of a real-time flow and subsequently retrieve traffic information from them in real-time. This information can be displayed in graphical form and also used to derive additional performan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006